... که موجب شناخت و کشف مجهول تصدیقی میشود. "حجت ... است که موجب کشف قضیهای مجهول میگردد، و ... سلسله قضایا برای کشف قضیهای مجهول است. حجت را ... عقلی بدیهی است مثل قضیه: کلّ از جزء بزرگ ... قضیهمجهول از راه قضیه معلوم است، به گونهای که قضیهمجهول، لازمه قضیه ...
... ، حجت نحوه رسیدن به «تصدیق مجهول» است. ... تعریف حجت ... بنابر تعریف ... خاص که بهوسیله آن قضیهمجهولی کشف میشود. ابن ... که به وسیلهآنمجهولات تصدیقیکسبمیشوندو ... ، رسیدن از معلوم به مجهول یا از طریق استلزام است ... قیاسهای اقترانی یا برعکس که مجهول عام و مشتمل بر ...